Точные науки с формализацией рассуждений.